Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development
نویسنده
چکیده
منابع مشابه
Dual Space Control of a Deployable Cable Driven Robot: Wave Based Approach
Known for their lower costs and numerous applications, cable robots are an attractive research field in robotic community. However, considering the fact that they require an accurate installation procedure and calibration routine, they have not yet found their true place in real-world applications. This paper aims to propose a new controller strategy that requires no meticulous calibration and ...
متن کاملMaximum Realizability for Linear Temporal Logic Specifications
Automatic synthesis from linear temporal logic (LTL) specifications is widely used in robotic motion planning, control of autonomous systems, and load distribution in power networks. A common specification pattern in such applications consists of an LTL formula describing the requirements on the behaviour of the system, together with a set of additional desirable properties. We study the synthe...
متن کاملSpecification languages and distributed control schemes for teams of unmanned vehicles
In this project, we developed high-level, human-like specification languages for robotic motion tasks and computational frameworks for automatic synthesis of robot control and communication strategies from such specifications. Central to our approach are finite abstractions, which allow for the use of (adapted) temporal logics as specification languages, tools from formal verification resemblin...
متن کاملReview: Current development on catalytic synthesis and pharmacological applications of 1,4-dihydropyridines
1,4-Dihydropyridines (1,4-DHPs) are recognized as one of the most versatile pharmacophores present as central core in many pharmaceuticals. Low yield and harsh reaction conditions prompted the researchers for the development of new environmental- friendly methods for the synthesis of 1,4-DHPs. This review explored the development of various green chemistry approaches using new catalysts develop...
متن کاملReview: Current development on catalytic synthesis and pharmacological applications of 1,4-dihydropyridines
1,4-Dihydropyridines (1,4-DHPs) are recognized as one of the most versatile pharmacophores present as central core in many pharmaceuticals. Low yield and harsh reaction conditions prompted the researchers for the development of new environmental- friendly methods for the synthesis of 1,4-DHPs. This review explored the development of various green chemistry approaches using new catalysts develop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013